Fix the documentation for the PROFILE envvar passed to build scripts
authorRan Benita <ran234@gmail.com>
Sun, 5 Feb 2017 18:53:11 +0000 (20:53 +0200)
committerRan Benita <ran234@gmail.com>
Sun, 5 Feb 2017 18:53:11 +0000 (20:53 +0200)
commitfb3213f17a7c047b05b6d2df1bc967d59574548f
treed9c53d386acb397126206b5d15ce9fbf615f4464
parenta4deb661a2075579e98186bae400b338644d8d5e
Fix the documentation for the PROFILE envvar passed to build scripts

Closes #2084.
src/doc/environment-variables.md